Stabilization, Safety, and Security of Distributed Systems: 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings: 10083 (Lecture Notes in Computer Science)
by Borzoo Bonakdarpour,Franck Petit
ISBN 13: 9783319492582
Format: Paperback (448 pages) Publisher: Springer Published: 04 Nov 2016
Save for later
Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings: 8734 (Lecture Notes in Computer Science)
by Borzoo Bonakdarpour, Scott A. Smolka
ISBN 13: 9783319111636
Format: Paperback (376 pages) Publisher: Springer Published: 23 Sep 2014